翻訳と辞書 Words near each other ・ Second-language acquisition classroom research ・ Second-language attrition ・ Second-language phonology ・ Second-level domain ・ Second-order ・ Second-order arithmetic ・ Second-order cellular automaton ・ Second-order co-occurrence pointwise mutual information ・ Second-order conditioning ・ Second-order cone programming ・ Second-order cybernetics ・ Second-order election ・ Second-order fluid ・ Second-order intercept point ・ Second-order logic ・ Second-order predicate ・ Second-order propositional logic ・ Second-order simulacra ・ Second-order stimulus ・ Second-person narrative ・ Second-rate ・ Second-term curse ・ Second-tier Mexican sugar ・ Second-tier sourcing ・ Second-wave feminism ・ Seconda B ・ Seconda Categoria ・ Seconda pratica ・ Seconda Università degli Studi di Napoli ・ Secondaries Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Second-order predicate ： ウィキペディア英語版 Second-order predicate In mathematical logic, a second-order predicate is a predicate that takes a first-order predicate as an argument.〔.〕 Compare higher-order predicate. The idea of second order predication was introduced by the German mathematician and philosopher Frege. It is based on his idea that a predicate such as "is a philosopher" designates a concept, rather than an object.〔.〕 Sometimes a concept can itself be the subject of a proposition, such as in "There are no Albanian philosophers". In this case, we are not saying anything of any Albanian philosophers, but of the concept "is an Albanian philosopher" that it is not satisfied. Thus the predicate "is not satisfied" attributes something to the concept "is an Albanian philosopher", and is thus a second-level predicate. This idea is the basis of Frege's theory of number.〔.〕 ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Second-order predicate」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.